SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:1558608125 OR L773:9781558608122 "

Sökning: L773:1558608125 OR L773:9781558608122

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Doherty, Patrick, 1957-, et al. (författare)
  • Computing strongest necessary and weakest sufficient conditions of first-order formulas
  • 2001
  • Ingår i: 17th International Joint Conference on Artificial Intelligence,2001. - San Francisco, CA, USA : Morgan Kaufmann Publishers Inc.. - 1558608125 - 9781558608122 ; , s. 145-151
  • Konferensbidrag (refereegranskat)abstract
    • A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quantifier elimination techniques. The efficacy of the approach is demonstrated by using the techniques to compute snc's and wsc's for use in agent communication applications, theory approximation and generation of abductive hypotheses. Additionally, we generalize recent results involving the generation of successor state axioms in the propositional situation calculus via snc's to the first-order case. Subsumption results for existing approaches to this problem and a re-interpretation of the concept of forgetting as a process of quantifier elimination are also provided.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Doherty, Patrick, 19 ... (1)
Szalas, Andrzej, 195 ... (1)
Lukaszewicz, Witold, ... (1)
Lärosäte
Linköpings universitet (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2001 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy