نتایج جستجو برای: fung
تعداد نتایج: 685 فیلتر نتایج به سال:
We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in...
Ron Shapiro, Mark Jordan, Velma P. Scantlebury, Carlos Vivas, H. Albin Gritsch, Abdul S. Rao, Massimo Trucco, Adriana Zeevi, Anthony J. Demetris, Parmjeet Randhawa, Robert J. Corry, Francesca Egidi, Horacio Rilo, Camillo Ricordi, Patricia Carroll, Andreas Tzakis, Jerry McCauley, Demetrius Ellis, Nisan Gilboa, William Irish, Sandi Mitchell, John J. Fung, Thomas R. Hakala, Richard L. Simmons, and...
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct (partial or complete) plans and react to changes in the environment. CIFF extends the original IFF procedure in two ways: by dealing with constraint predicates and by dealing with non-allowed abductive l...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید