first-order-logic

0La chaleur

1Répondre

Fitch Format Proofs - des ressources autour?

J'étudie actuellement les épreuves logiques de premier ordre au format Fitch. Mon professeur suit de près Language, Proof and Logic par Jon Barwise. J'essaie de faire quelques preuves mais j'ai du mal

computer-science first-order-logic fitch-proofs 2010-06-09

---

0La chaleur

2Répondre

à la conversion à l'aide logique de premier ordre

En utilisant seulement ces prédicats ..... child(X) X is a child unwell(X,Y) X is unwell on day Y location(X,Y,Z) Location of X on day Y is Z (school, park, home) sunny(X) X is a sunny day G

logic predicates first-order-logic 2010-09-30

---

3La chaleur

3Répondre

Fitch Format Proofs - Tous les solveurs automatiques autour?

Existe-t-il un logiciel qui utilise le format Fitch (utilisé dans Language, Proof and Logic), permet de mettre un ensemble spécifique de prémisses et d'objectifs et de nous montrer la liste complète d

computer-science logic first-order-logic fitch-proofs 2010-06-29

---

4La chaleur

1Répondre

Résolution en utilisant DPLL sat solveur

je trouve un solveur assis dans http://code.google.com/p/aima-java/ I essayé le code suivant à résoudre une expression en utilisant dpllsolver l'entrée est (A <=> B) AND (C => D) AND (A AND C) AND (NO

java artificial-intelligence logic first-order-logic sat-solvers 2010-10-22

---